A Semantic Characterisation for Faults in Replicated Systems
نویسنده
چکیده
We describe a process algebraic approach to the semantics of replicated systems. We extend a subset of CCS with a replication operator to model systems with replicated synchronous majority voting. Based on an operational semantics, we de ne a bisimulation semantics. As the bisimulation semantics does not characterise fault tolerance we de ne preorders which introduces a hierarchy of faulty processes and fault tolerant processes. We then show how a similar ordering on modalformulae can characterise the fault preorders.
منابع مشابه
A Semantic Characterisation for Faults in Replicated Systems 1
We describe a process algebraic approach to the semantics of replicated systems. We extend a subset of CCS with a replication operator to model systems with replicated synchronous majority voting. Based on an operational semantics, we deene a bisimulation semantics. As the bisimulation semantics does not characterise fault tolerance we deene preorders which introduces a hierarchy of faulty proc...
متن کاملSemantic Preserving Data Reduction using Artificial Immune Systems
Artificial Immune Systems (AIS) can be defined as soft computing systems inspired by immune system of vertebrates. Immune system is an adaptive pattern recognition system. AIS have been used in pattern recognition, machine learning, optimization and clustering. Feature reduction refers to the problem of selecting those input features that are most predictive of a given outcome; a problem encoun...
متن کاملFault-tolerant Emergent Semantics in P2p Networks
To survive in the twenty-first century, enterprises need to collaborate. Collaboration at the enterprise-level presupposes the interoperability of the underlying information systems. Access to heterogeneous information sources must be provided transparently while maintaining their autonomy. Further, the availability of nearly unlimited information calls for efficient and precise information ret...
متن کاملExploiting the Semantic Web for Systems Diagnosis
Diagnosis is the task of explaining abnormal behaviors of systems like telecommunication, transportation or energy systems. Given a sequence of observations the problem is to determine, online, all faults that are in line with these observations. Many approaches tackle this problem but they either require domain expertise or a formal description of how observations and faults are connected. Thi...
متن کاملA Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents
Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 128 شماره
صفحات -
تاریخ انتشار 1994